(((ENSCSAVT00000019419,ENSCSAVT00000019418),ENSCSAVT00000019406),ENSCINT00000023866);